finite automata transition function